Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
391	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:25:03 Mathematics Algebra Abstract algebra Boolean algebra Algebraic structures Constraint programming Electronic design automation Formal methods Boolean satisfiability problem DPLL algorithm Conjunctive normal form Propositional calculus
392	FME 03 What Have Formal Methods Ever Done for Us? Anthony Hall Add to Reading List Source URL: fme03.isti.cnr.it Language: English - Date: 2003-12-15 09:44:18
393	Bernd Fischer Division of Computer Science, University of Stellenbosch Private Bag X1, 7602 Matieland, South Africa Career Summary: • Core competency in software engineering, formal methods, progr Add to Reading List Source URL: www.cs.sun.ac.za Language: English
394	SSDL: overview Goal: Improving the quality of systems and software Means: Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-08-09 05:02:19 Model checking Formal verification Software engineering Programming language Software development process Science Computing Formal methods SOAP Service Description Language Applied mathematics
395	Svetlana Arifulina, Chiristian Soltenborn and Gregor Engels. Coverage Criteria for Testing DMM Speciﬁcations Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2012-03-18 17:20:03 Formal methods Mathematics Software engineering Software development Model checking Graph rewriting RCOS
396	Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts Tom Bergan Dan Grossman Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-09-08 13:30:43 Abstract interpretation Symbolic execution Pointer Software engineering KeY Stack Static single assignment form Formal methods Data types Computing
397	Exploring Circuit Timing-aware Languages and Compilation Giang Hoang Robert Bruce Findler Russ Joseph Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2011-03-01 17:34:28 Software Compiler construction Compiler optimization Instruction scheduling Dynamic random-access memory Compiler Program optimization Formal methods Programming language implementation Software engineering Computing
398	㏾㜷⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰 Add to Reading List Source URL: webdatanet.cbs.dk Language: English - Date: 2014-10-23 05:27:21 Survey methodology Marketing Econometrics Formal sciences Research methods Official statistics Big data Data collection Survey data collection Science Information Statistics
399	Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi Add to Reading List Source URL: sygus.seas.upenn.edu Language: English - Date: 2015-01-10 00:32:21 Predicate logic Theoretical computer science Formal methods NP-complete problems First-order logic Satisfiability Modulo Theories Expression Type system Function Mathematics Logic Mathematical logic
400	SSDL: overview Goal: Improving the quality of systems and software Means: Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-08-09 05:02:19 Model checking Formal verification Software engineering Programming language Software development process Science Computing Formal methods SOAP Service Description Language Applied mathematics

UPDATE